Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Traditional Logic, Modern Logic and Natural Language

Année:
2009
Langue:
english
Fichier:
PDF, 301 KB
english, 2009
2

What languages have Tarski truth definitions?

Année:
2004
Langue:
english
Fichier:
PDF, 271 KB
english, 2004
4

An Editor Recalls Some Hopeless Papers

Année:
1998
Langue:
english
Fichier:
PDF, 368 KB
english, 1998
5

Alfred Tarski and Decidable Theories

Année:
1988
Langue:
english
Fichier:
PDF, 344 KB
english, 1988
6

Alfred Tarski

Année:
1986
Langue:
english
Fichier:
PDF, 293 KB
english, 1986
7

Truth in a Structure

Année:
1985-1986
Langue:
english
Fichier:
PDF, 442 KB
english, 1985-1986
8

Encoding orders and trees in binary relations

Année:
1981
Langue:
english
Fichier:
PDF, 268 KB
english, 1981
9

IBN SĪNĀ ON REDUCTIO AD ABSURDUM

Année:
2016
Langue:
english
Fichier:
PDF, 174 KB
english, 2016
10

Philosophy of Logic || The Scope and Limits of Logic

Année:
2007
Langue:
english
Fichier:
PDF, 274 KB
english, 2007
11

Dependence of variables construed as an atomic formula

Année:
2010
Langue:
english
Fichier:
PDF, 706 KB
english, 2010
12

Mathematical Knowledge.by Mark Steiner

Année:
1977
Langue:
english
Fichier:
PDF, 339 KB
english, 1977
13

Dialogue protocols for formal fallacies: A reply to Kacprzak and Yaskorska

Année:
2014
Langue:
english
Fichier:
PDF, 133 KB
english, 2014
14

Läuchli's algebraic closure of Q

Année:
1976
Langue:
english
Fichier:
PDF, 512 KB
english, 1976
15

VIII—Truth in a Structure

Année:
1986
Langue:
english
Fichier:
PDF, 854 KB
english, 1986
16

Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations

Année:
2016
Langue:
english
Fichier:
PDF, 649 KB
english, 2016
17

Two Early Arabic Applications of Model-Theoretic Consequence

Année:
2018
Langue:
english
Fichier:
PDF, 633 KB
english, 2018
18

Omega-categoricity, relative categoricity and coordinatisation

Année:
1990
Langue:
english
Fichier:
PDF, 2.17 MB
english, 1990
19

Books in review

Année:
1984
Langue:
english
Fichier:
PDF, 854 KB
english, 1984
20

Introduction

Année:
2007
Langue:
english
Fichier:
PDF, 86 KB
english, 2007
21

Infinite games and reduced products

Année:
1981
Langue:
english
Fichier:
PDF, 2.00 MB
english, 1981
22

Six impossible rings

Année:
1974
Langue:
english
Fichier:
PDF, 1.53 MB
english, 1974
23

Jaakko Hintikka, The Principles of Mathematics Revisited

Année:
1997
Langue:
english
Fichier:
PDF, 50 KB
english, 1997
24

Finitude and Infinitude in the Atomic Calculus of Individuals

Année:
1968
Langue:
english
Fichier:
PDF, 538 KB
english, 1968
25

In singular cardinality, locally free algebras are free

Année:
1981
Langue:
english
Fichier:
PDF, 764 KB
english, 1981
26

Logic and Arithmetic. Natural Numbers.by David Bostock

Année:
1976
Langue:
english
Fichier:
PDF, 364 KB
english, 1976
27

The Logic of Religionby Joseph M. Bochenski

Année:
1968
Langue:
english
Fichier:
PDF, 328 KB
english, 1968
28

De la Logique a la Theologie. Cinq Etudes sur Aristote

Année:
1968
Langue:
english
Fichier:
PDF, 209 KB
english, 1968
29

Some Combinatorics of Imperfect Information

Année:
2001
Langue:
english
Fichier:
PDF, 259 KB
english, 2001
30

A Symposium on Hilbert's Program

Année:
1988
Langue:
english
Fichier:
PDF, 181 KB
english, 1988
31

Alfred Tarski and decidable theories

Année:
1988
Langue:
english
Fichier:
PDF, 1.18 MB
english, 1988
33

[Introduction]

Année:
1988
Langue:
english
Fichier:
PDF, 92 KB
english, 1988
35

The logical content of theories of deduction

Année:
1993
Langue:
english
Fichier:
PDF, 7.30 MB
english, 1993
37

Model Theory ||

Année:
1993
Langue:
english
Fichier:
PDF, 876 KB
english, 1993
38

The Laws of Distribution for Syllogisms

Année:
1998
Langue:
english
Fichier:
PDF, 57 KB
english, 1998
40

The meaning of specifications I: Domains and initial models

Année:
1995
Langue:
english
Fichier:
PDF, 1.69 MB
english, 1995
41

Relative categoricity in abelian groups II

Année:
2009
Langue:
english
Fichier:
PDF, 1.63 MB
english, 2009
42

Editors' foreword for JCSS WoLLIC 2008

Année:
2010
Langue:
english
Fichier:
PDF, 76 KB
english, 2010
43

Interpreting number theory in nilpotent groups

Année:
1980
Langue:
english
Fichier:
PDF, 421 KB
english, 1980
44

Dialogue Foundations: A Sceptical Look: Wilfrid Hodges

Année:
2001
Langue:
english
Fichier:
PDF, 55 KB
english, 2001
45

A combinatorial fact about free algebras

Année:
1982
Langue:
english
Fichier:
PDF, 372 KB
english, 1982
48

A Tour through Mathematical Logicby Robert S. Wolf

Année:
2007
Langue:
english
Fichier:
PDF, 319 KB
english, 2007
49

Partitions and Models.by Michael Morley; M. H. Löb

Année:
1974
Langue:
english
Fichier:
PDF, 339 KB
english, 1974
50

On Order-Types of Models

Année:
1972
Langue:
english
Fichier:
PDF, 268 KB
english, 1972